<html>
<head><meta charset="utf-8"><title>Design for a unified dataflow framework · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html">Design for a unified dataflow framework</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="178162537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178162537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178162537">(Oct 15 2019 at 05:39)</a>:</h4>
<p>After the generic dataflow framework required for dataflow-based const validation was merged in <a href="https://github.com/rust-lang/rust/issues/64566" target="_blank" title="https://github.com/rust-lang/rust/issues/64566">#64566</a>, one pending task was to merge this framework with  the existing bitvector one (<code>BitDenotation</code>). I've written up a <a href="https://hackmd.io/@39Qr_z9cQhasi25sGjmFnA/Skvd9rztS" target="_blank" title="https://hackmd.io/@39Qr_z9cQhasi25sGjmFnA/Skvd9rztS">design document</a> that describes a prototype of a <a href="https://github.com/rust-lang/rust/compare/master...ecstatic-morse:unified-dataflow-proto" target="_blank" title="https://github.com/rust-lang/rust/compare/master...ecstatic-morse:unified-dataflow-proto">unified dataflow framework</a> that I've implemented.</p>



<a name="178162597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178162597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178162597">(Oct 15 2019 at 05:40)</a>:</h4>
<p>The design doc is still incomplete, but hopefully gives enough background info for people to understand the concerns here.</p>



<a name="178213912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178213912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178213912">(Oct 15 2019 at 17:13)</a>:</h4>
<p>It might make sense to try to schedule a design meeting for this?</p>



<a name="178217335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178217335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178217335">(Oct 15 2019 at 17:51)</a>:</h4>
<p><span class="user-mention" data-user-id="198054">@mark-i-m</span> How would one go about this?</p>



<a name="178219648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178219648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178219648">(Oct 15 2019 at 18:16)</a>:</h4>
<p>I think I'm supposed to open an issue on the rust-lang/compiler-team repo?</p>



<a name="178260921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178260921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178260921">(Oct 16 2019 at 05:42)</a>:</h4>
<p>yep</p>



<a name="178260925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178260925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178260925">(Oct 16 2019 at 05:42)</a>:</h4>
<p>here us an example: <a href="https://github.com/rust-lang/compiler-team/issues/188" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/188">https://github.com/rust-lang/compiler-team/issues/188</a></p>



<a name="178309998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178309998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178309998">(Oct 16 2019 at 17:26)</a>:</h4>
<p>Meeting proposed in <a href="https://github.com/rust-lang/compiler-team/issues/202" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/202">rust-lang/compiler-team#202</a></p>



<a name="178696360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Design%20for%20a%20unified%20dataflow%20framework/near/178696360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Design.20for.20a.20unified.20dataflow.20framework.html#178696360">(Oct 21 2019 at 20:41)</a>:</h4>
<p>I've also posted a draft PR containing the prototype in <a href="https://github.com/rust-lang/rust/issues/65672" target="_blank" title="https://github.com/rust-lang/rust/issues/65672">#65672</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>